Cartesian 閉圈 (CCC)
cartesian closed category
デカルト閉圏 - Wikipedia
cartesian closed category in nLab
終對象
$ 1
、
積 (圈)
$ \times
、
冪對象
を持つ
圈
←→
餘 Cartesian 餘閉圈
(cocartesian coclosed category)
cocartesian coclosed category in nLab
有限な
餘積
$ +
、
餘冪對象
を持つ
圈